discrete math triangle inequality